Finitary sketches, i.e., sketches with finite-limit and finite-colimit specifications, are proved to be as strong as geometric sketches, i.e., sketches with finite-limit and arbitrary colimit specifications. Categories sketchable by such sketches are fully characterized in the infinitary first-order logic: they are axiomatizable by σ-coherent theories, i.e., basic theories using finite conjunctions, countable disjunctions, and finite quantifications. The latter result is absolute; the equivalence of geometric and finitary sketches requires (in fact, is equivalent to) the non-existence of measurable cardinals.

In lieu of an abstract, here is a brief excerpt of the content:Dharma Bums: The Beat Generation and the Making of Countercultural PilgrimageP. J. JohnstonI believe in the sweetness of Jesus And Buddha— I believe, In St. Francis, Avaloki Tesvara, the Saints Of First Century India A D And Scholars Santidevan And Otherwise Santayanan Everywhere.(Kerouac 1959: 15)Preliminary Polemics“PILGRIM, n. A traveler that is taken seriously.”—Ambrose Bierce, The Devil’s Dictionary 2007: 133As Beat commentator Stephen Prothero describes in his article “On the (...) Holy Road: The Beat Movement as Spiritual Protest” (1991), the Beats and their pilgrimages have most emphatically not been taken seriously. Both critics and scholars have been unkind to members of the Beat generation, and this unkindness has manifested itself in relative neglect of the Beats in all possible aspects of scholarly investigation. But nowhere does this appear more pronounced than in the area of Beat religion. Though some recent scholarship has been picking up from this earlier neglect and it is now [End Page 165] possible to find serious biographies of most of the major Beat writers and some belated attention to the movement as a literary phenomenon, the only book-length treatment of Beat Buddhism I was able to locate (Tonkinson 1995) hardly qualifies as a scholarly work and was published not by an academic press but as a special feature of the Buddhist magazine Tricycle. Prothero hypothesizes that this is because of the movement’s reputation as rebellious and antinomian—in its heyday the movement was characterized in identical unsavory terms by publications representing interests as diverse as Life and Playboy, with the latter describing the Beats as “nihilists” and the former claiming that the Beats were at war with “Mom, Dad, Politics, Marriage, the Savings Bank, Organized Religion, Literary Elegance, Law, the Ivy League Suit and Higher Education, to say nothing of the Automatic Dishwasher, the Cellophane-wrapped Soda Cracker, the Split-Level House and the clean, or peace-provoking H-bomb” (Prothero 1991: 206). Norman Podhoretz of Partisan Review went further still, claiming that the Beats were “hostile to civilization” and that the movement as a whole amounted to “a revolt of the spiritually underprivileged and crippled of soul” and “an affirmation of death” (ibid., 206). One couldn’t ask for a more passionate disavowal of the Beats or a more thorough polemic that the movement was profoundly antireligious.This could not contrast more with the Beats’ representation of their movement and its aims, with Jack Kerouac going so far as to reinterpret the crucial term “Beat” (a term for someone down and out originally borrowed from criminal street jive) as a noun derived from the adjective “beatific,” a specifically religious term familiar from such phrases as “the beatific vision” (ibid., 206–207). Several of the representative Beat writers were practicing Buddhists, influencing the entire movement to such an extent that Buddhist ideas and imagery suffused Beat literature as a whole. Ginsberg and Kerouac especially emphasized the positive and constructive elements of their spiritual vision, arguing that literature such as On the Road and Howl should be understood as religious affirmations of what is good and holy rather than as purely critical undertakings: “For the crucifix I speak out, for the Star of Israel I speak out, for the divinest man who ever lived who was German (Bach) I speak out, for sweet Mohammed I speak out, for Buddha I speak out, for Lao-tse and Chuang-tse I speak out” (ibid., 206–207). Or, as Allen Ginsberg put it less lyrically (and rather more bluntly): “Howl is an ‘Affirmation’ by individual experience of God, sex, drugs, and absurdity... the poems are religious and I meant them to be” (ibid., 207).But for the most part, Beat asseverations in no way diminished scholarly wariness about the Beat movement and its spirituality—as Prothero concludes, “the tendency among literary scholars is to see these [religious] concerns as tangential rather than constitutive” while “historians of American religion who have explored beat spirituality have tended to focus almost exclusively on the beats’ engagement with Zen and then to dismiss that engagement as haphazard” (ibid., 207).It is my contention that the mainstream scholarly neglect of Beat spirituality is in some part... (shrink)

When people engage in conversation, they tailor their utterances to their conversational partners, whether these partners are other humans or computational systems. This tailoring, or adaptation to the partner takes place in all facets of human language use, and is based on a mental model or a user model of the conversational partner. Such adaptation has been shown to improve listeners' comprehension, their satisfaction with an interactive system, the efficiency with which they execute conversational tasks, and the likelihood of achieving (...) higher level goals such as changing the listener's beliefs and attitudes. We focus on one aspect of adaptation, namely the tailoring of the content of dialogue system utterances for the higher level processes of persuasion, argumentation and advice-giving. Our hypothesis is that algorithms that adapt content for these processes, according to a user model, will improve the usability, efficiency, and effectiveness of dialogue systems. We describe a multimodal dialogue system and algorithms for adaptive content selection based on multi-attribute decision theory. We demonstrate experimentally the improved efficacy of system responses through the use of user models to both tailor the content of system utterances and to manipulate their conciseness. (shrink)

When people engage in conversation, they tailor their utterances to their conversational partners, whether these partners are other humans or computational systems. This tailoring, or adaptation to the partner takes place in all facets of human language use, and is based on a mental model or a user model of the conversational partner. Such adaptation has been shown to improve listeners' comprehension, their satisfaction with an interactive system, the efficiency with which they execute conversational tasks, and the likelihood of achieving (...) higher level goals such as changing the listener's beliefs and attitudes. We focus on one aspect of adaptation, namely the tailoring of the content of dialogue system utterances for the higher level processes of persuasion, argumentation and advice‐giving. Our hypothesis is that algorithms that adapt content for these processes, according to a user model, will improve the usability, efficiency, and effectiveness of dialogue systems. We describe a multimodal dialogue system and algorithms for adaptive content selection based on multi‐attribute decision theory. We demonstrate experimentally the improved efficacy of system responses through the use of user models to both tailor the content of system utterances and to manipulate their conciseness. (shrink)

The prospect of using cell-based interventions to treat neurological conditions raises several important ethical and policy questions. In this target article, we focus on issues related to the unique constellation of traits that characterize CBIs targeted at the central nervous system. In particular, there is at least a theoretical prospect that these cells will alter the recipients' cognition, mood, and behavior—brain functions that are central to our concept of the self. The potential for such changes, although perhaps remote, is cause (...) for concern and careful ethical analysis. Both to enable better informed consent in the future and as an end in itself, we argue that early human trials of CBIs for neurological conditions must monitor subjects for changes in cognition, mood, and behavior; further, we recommend concrete steps for that monitoring. Such steps will help better characterize the potential risks and benefits of CBIs as they are tested and potentially used for treatment. (shrink)

This article is the lead piece in a special report that presents the results of a bioethical investigation into chimeric research, which involves the insertion of human cells into nonhuman animals and nonhuman animal embryos, including into their brains. Rapid scientific developments in this field may advance knowledge and could lead to new therapies for humans. They also reveal the conceptual, ethical, and procedural limitations of existing ethics guidance for human‐nonhuman chimeric research. Led by bioethics researchers working closely with an (...) interdisciplinary work group, the investigation focused on generating conceptual clarity and identifying improvements to governance approaches, with the goal of helping scholars, funders, scientists, institutional leaders, and oversight bodies (embryonic stem cell research oversight [ESCRO] committees and institutional animal care and use committees [IACUCs]) deliver principled and trustworthy oversight of this area of science. The article, which focuses on human‐nonhuman animal chimeric research that is stem cell based, identifies key ethical issues in and offers ten recommendations regarding the ethics and oversight of this research. Turning from bioethics’ previous focus on human‐centered questions about the ethics of “humanization” and this research's potential impact on concepts like human dignity, this article emphasizes the importance of nonhuman animal welfare concerns in chimeric research and argues for less‐siloed governance and oversight and more‐comprehensive public communication. (shrink)

Background: Medical tourism involves patients travelling internationally to receive medical services. This practice raises a range of ethical issues, including potential harms to the patient's home and destination country and risks to the patient's own health. Medical tourists often engage the services of a facilitator who may book travel and accommodation and link the patient with a hospital abroad. Facilitators have the potential to exacerbate or mitigate the ethical concerns associated with medical tourism, but their roles are poorly understood. -/- (...) Methods: 12 facilitators were interviewed from 10 Canadian medical tourism companies. -/- Results: Three themes were identified: facilitators' roles towards the patient, health system and medical tourism industry. Facilitators' roles towards the patient were typically described in terms of advocacy and the provision of information, but limited by facilitators' legal liability. Facilitators felt they played a positive role in the lives of their patients and the Canadian health system and served as catalysts for reform, although they noted an adversarial relationship with some Canadian physicians. Many facilitators described personally visiting medical tourism sites and forming personal relationships with surgeons abroad, but noted the need for greater regulation of their industry. -/- Conclusion: Facilitators play a substantial and evolving role in the practice of medical tourism and may be entering a period of professionalisation. Because of the key role of facilitators in determining the effects of medical tourism on patients and public health, this paper recommends a planned conversation between medical tourism stakeholders to define and shape facilitators' roles. (shrink)

Pancreatitis is a complex, progressively destructive inflammatory disorder. Alcohol was long thought to be the primary causative agent, but genetic contributions have been of interest since the discovery that rare PRSS1, CFTR and SPINK1 variants were associated with pancreatitis risk. We now report two associations at genome-wide significance identified and replicated at PRSS1-PRSS2 and X-linked CLDN2 through a two-stage genome-wide study. The PRSS1 variant likely affects disease susceptibility by altering expression of the primary trypsinogen gene. The CLDN2 risk allele is (...) associated with atypical localization of claudin-2 in pancreatic acinar cells. The homozygous CLDN2 genotype confers the greatest risk, and its alleles interact with alcohol consumption to amplify risk. These results could partially explain the high frequency of alcohol-related pancreatitis in men. © 2012 Nature America, Inc. All rights reserved. (shrink)

The article provides an example of the application of the techniques and results of historical linguistics to traditional problems in the philosophy of language. It takes as its starting point the dispute about the nature of facts that arose from the 1950 Aristotelian Society debate between J. L. Austin and P. F. Strawson. It is shown that, in some cases, expressions containing the noun fact refer to actions and events; while in other cases, such expressions do not have a referring (...) function at all. Thus, nothing corresponding to Strawson's 'pseudomaterial correlate' need be postulated in order to account for the reference of the noun fact. It is suggested that many philosophically problematic expressions may be better understood by tracing their historical evolution in natural language. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Some Suggestions about the Moral Philosophy of George Berkeley* PAUL J. OLSCAMP WHILE TRAVELLINGIN ITALYin 1716, Berkeley lost the second part of his Principles of Human Knowledge. Much later he wrote to Dr. Johnson in America, saying that he did not have the energy to do something so disagreeable as writing the same thing twice? This manuscript contained Berkeley's ethics and metaphysics, but in spite of its loss, there (...) is much to be learned about Berkeley's moral philosophy from his extant writings. Surprisingly, very little has been written about Berkeley's ethics, and what has been written usually concentrates on Passive Obedience and virtually ignores the rest of his worksY Most of the terminology now used to classify and criticize ethical theories was, of course, unknown to Berkeley. In spite of this, much of what he says may be fruitfully compared with some of the claims of modern ethicists. I shall try to show that many of his claims might have been strikingly modern, a In this paper however, I can only deal with what would now be called the normative part of Berkeley's theory, so, perhaps, it would be of some use to give a general *All references to Berkeley's writings are to the Jessop and Luee edition, The Works o] George Berkeley, Bishop o] Cloyne (9 vols.; London: Nelson and Sons Ltd., 1948). I shall abbreviate the titles of the works in this collection as follows: A/c. for A/~phron, or the Minute Ptdlosopher; DraJt for The First Dra]~ o] the Introduction to the Priuciple8 o] Human Knowledge; Principles for The Principles o] Human Knowledge; P.O. for Passive Obedience; Disc. for A Discourse to the Macistrates; T.V. for An Essay Towards a New Theory o] Vision; T.V~E. for The Theory o] Vision Vindicated and Explained; P.C. for philosophical Commentaries; Corr ]or Philosophical Correspondence; DHP for Three Dialooucs Between Hylas and Philonous. I am deeply indebted to Professor Richard T. Garner for his help in the preparation of thispaper. 1Corr., II, 282. 'The other references are: C. D. Broad, "Berkeley's Theory of Morals," Revue Internationale de Philosophie (1953); Graham P. Conroy, "Berkeley on Moral Demonstration, Journal o] the HisLory o] Ideas, XXII (1961), and Conroy's doctoral dissertation, Language and Morals in Berkeley's Philosophy (Berkeley, 1957); H. D. Aiken, "The Fate of Philosophy in the Twentieth Century," The Kenyon Review (Spring, 1962); kvrum Stroll, The Emotive Theory o] Ethics (Berkeley and Los Angeles: University of California Press, 1954); Ernest Albee, A History o] English Utilitarianism (London: Alien & Unwin, 1901), chap. xv; I. A. Richards and C. K. Ogden, The Meaning o] Meaning (New York: Harcourt Brace and Co., 1923), p. 42; P. J. Olscamp, A Berlceleyan Analysis o] the Uses o] Language in Ethics, (doctoral dissertation, University of Rochester, 1962); W. V. Denard, "Berkeley's Theological Utilitarianism," Acres de XI" eongr~s internationale de philosophic, XIII (1953), 87-93; G. A. Johnston, "The Development of Berkeley's Ethical Theory," Philosophical Review, XXIV, 419-430; H. W. Orange, "Berkeley as a Moral Philosopher," Mind, XV (old series), 514-523. =The definitions of any technical terms I may use will be found in William K. Frankena, Ethies, (Englewood Cliffs, New Jersey: Prentice-Hall Foundations of Philosophy Series, 1963). [147] 148 HISTORY OF PHILOSOPHY outline of the main features of what I think his entire system would have been, before examining part of it in more detail. Berkeley was first and last a Christian clergyman, and he therefore believed in the existence of a personal, wise, and benevolent God whose being was relevant to our daily lives. He was convinced that the natural world provides evidence for this belief, evidence as sound as that which we have for the existence of other minds. Given that the esse of objects consists in their being perceived, that only minds are active, and that no human perceiver perceives all things at all times, it follows that a cosmic mind maintains the universe it created. Moreover, the system of nature is not random, but regular; it is, in fact, a divine language in which God makes his intentions known to us, and demonstrates his wisdom... (shrink)

1. Introduction. It is an amazing thing that, unlike pebbles, clouds and stars, the smallest building stones of Nature—the electrons, the protons and the neutrons—are all completely uniform. There seems to be a necessity in Nature for systems of a very special form, and one can wonder now what kind of necessity this is. I believe that this can only be a mathematical necessity, that consequently the principle of Nature is a mathematical one. How else could Nature obey the mathematical (...) laws of physics if it were not because of her own principle? It can be argued that these mathematical laws, like Newtonian mechanics, the classical theory of electromagnetism and the quantum theory of the electron are all some form of beginner's luck, and that continued investigation will reveal Nature as more and more mysterious and irrational. If that were true, one might as well give up the pursuit of physics completely! But on one hand modern physics has discovered what we believe to be the elementary particles of the material world, and on the other hand it comes out that at least a part of these elementary forms obey mathematic laws to a very high degree of accuracy. (shrink)

Experiments have suggested that umbilical cord blood stem cells can be used to prevent diseases such as atherosclerosis. This paper discusses ethical issues surrounding such usage such as the uncertainty that individuals at risk of a disease will actually get the disease; issues related to research with children; safety issues; from where these stem cells would be obtained; and whether these usages should be considered as therapies or as physical enhancements.

The Greek polis has been arousing interest as a subject for study for a long time, but recent approaches have shown that it is a subject on which there are still important questions to be asked and worthwhile issues to be explored. This book contains a selection of essays which embody the results of the latest research. Beyond the historical development of the Greek polis , the contributors ask questions about the civic institutions of ancient Greece as a whole and (...) their relationships to each other. Questions of power or the significance of a written code of law are discussed as well as the nature of Greek overseas settlements. Development of the Greek Polis presents up-to-date research and asks up-to-date questions on various aspects of an important topic. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

He is the darling of naturalism or the bogeyman of scepticism, a friend to virtue or an unwitting party to incipient nihilism. He is politically conservative, or a liberator from old views. He is a fideist, an advocate of faith over reason, or a precursor of Richard Dawkins.